Total Books: 21 - 22 /22
Towards Mechanized Mathematical Assistants
This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lire la suite
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers
This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...
Lire la suite
